Description logic - PDFSEARCH.IO - Document Search Engine

Description logic
Results: 846

#	Item
51	Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|riazanov\|seanb\|horrocks}@cs.man.ac. Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:08 Semantic Web Knowledge representation Logic Cognitive science Computing Information science Artificial intelligence Knowledge engineering Description logic Web Ontology Language Ontology Semantic Web Rule Language
52	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
53	Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics Add to Reading List Source URL: dingo.sbs.arizona.edu Language: English - Date: 2009-06-06 20:15:54 Ontology Logic Semantic Web Information science Philosophy Computing Technical communication Artificial intelligence Description logic Tbox Web Ontology Language Ontology engineering
54	PyHVL 0.3 PyHVL A verification tool developed by Add to Reading List Source URL: pyhvl.sourceforge.net Language: English - Date: 2007-08-31 15:17:59 Software engineering Computer programming Computing Hardware description languages Scripting languages Hardware verification languages Verilog Logic design Verilog Procedural Interface Callback Immutable object Python
55	Microsoft Word - NCIT_Methods.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2005-12-08 15:13:02 Semantic Web Computing Knowledge representation Information science World Wide Web Consortium Ontology Web Ontology Language Formal ontology Resource Description Framework Web resource RDF Schema Description logic
56	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
57	Deductive Logic Syllabus Summer 2014 Course Description Logic is the study of valid demonstrative argumentation. A valid argument is one whose premises imply its conclusion. Implication is in turn a matter of argumentati Add to Reading List Source URL: jamesjpearson.files.wordpress.com Language: English - Date: 2014-09-09 17:55:34 Logic Philosophy Abstraction Philosophical logic Model theory Reasoning Argument Critical thinking Logical consequence First-order logic Logical truth Interpretation
58	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
59	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
60	Entailed vs. Non-Entailed Presuppositions - An Experimental Assessment J´er´emy Zehr & Florian Schwarz University of Pennsylvania 1. Add to Reading List Source URL: www.florianschwarz.net Language: English - Date: 2016-05-16 13:08:46 Pragmatics Linguistics Logic Philosophy Presupposition Definite description Entailment Implicature Accommodation